421. Enjoying natural computing :
پدیدآورنده : Carmen Graciani [and 4 others], (Eds).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Natural computation.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Machine Theory.,Computers-- Software Development & Engineering-- General.,Natural computation.,Software Engineering.,User interface design & usability.
رده :
QA76
.
9
.
N37
E55
2018eb
422. Ensembles in machine learning applications
پدیدآورنده : Oleg Okun, Giorgio Valentini, Matteo Re (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine learning.,Set theory.
423. Exploring randomness
پدیدآورنده : Chaitin, Gregory J.
کتابخانه: (طهران)
موضوع : ، Machine theory,، Computational complexity,، LISP )Computer program language(
رده :
QA
267
.
C485
424. FSM-based digital design using Verilog HD
پدیدآورنده : / Peter Minns, Ian Elliott
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Verilog (Computer hardware description language),Digital electronics,Sequential machine theory
رده :
TK7885
.
7
.
M45
2008
425. FSM-based digital design using Verilog HDL
پدیدآورنده : Peter Minns, Ian Elliott
کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع : Verilog (Computer hardware description language),Digital electronics,Sequential machine theory
426. FSM-based digital design using Verilog HDL
پدیدآورنده : / Peter Minns, Ian Elliott
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Verilog (Computer hardware description language,Digital electronics,Sequential machine theory
رده :
E-BOOK
427. Fachtagung uber Automatentheorie und Formale Sprachen
پدیدآورنده : Gesellschaft fur Informatik
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Automata,Congresses ، Formal languages
رده :
QA
267
.
G47a
428. Feasible computations and provable complexity properties
پدیدآورنده : Hartmanis, Juris
کتابخانه: (طهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H33
429. Finite automata
پدیدآورنده : / Mark V. Lawson
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Machine theory
رده :
QA267
.
L37
2003
430. Finite automata
پدیدآورنده : Lawson, Mark V.
کتابخانه: (طهران)
موضوع : ، Machine theory
رده :
QA
267
.
L38F5
431. Finite automata
پدیدآورنده : Lawson, Mark V.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory
رده :
QA
267
.
L37
2003
432. Finite automata and application to cryptography
پدیدآورنده : Tao, Renji
موضوع : ، Sequential machine theory,، Cryptography
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
433. Finite automata; behavior and synthesis
پدیدآورنده : Trakhtenbrot, B. A.)Boris Avraamovich(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
T713
434. Finite automata; behavior and synthesis
پدیدآورنده : / B. A. Trakhtenbrot and Ya. M. Barzdin, translated from the Russian by O. Louvish, English translation edited by E. Shamir and L. H. Landweber
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Sequential machine theory
رده :
620
.
891
Tr-F
435. Finite automata, formal logic, and circuit complexity
پدیدآورنده : Straubing, Howard, 2591-
کتابخانه: (طهران)
موضوع : Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77
436. Finite automata, their algebras and grammars
پدیدآورنده : J. Richard Buchi ; Dirk Siefkes, editor,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Sequential machine theory
رده :
QA
.
S4B83
267
.
5
1989
437. Finite automata : their algebras and grammars : Towards a theory of formal expressions
پدیدآورنده : Buchi, J. Richard, 4291-4891
کتابخانه: (طهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4B83
1988
438. Finite state machine logic synthesis for complex programmable logic device
پدیدآورنده : / Robert Czerwinski and Dariusz Kania
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Sequential machine theory,Programmable logic devices,Electronic books
رده :
E-BOOK
439. Finite state machines
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory
رده :
QA
267
.
O61
440. Finite-state models for logical machines
پدیدآورنده : Hennie, Frederick C.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
H4
